$\forall$$x$, $y$:Atom. $x$ =a $y$ $\in$ $\mathbb{B}$